// fake header for compatibility with MSVC
